1.2.8.6. alpha.unix.cstring.BufferOverlap (C)
Checks for overlap in two buffer arguments. Applies to: memcpy, mempcpy.

Examples:

void test() {
  int a[4] = {0};
  memcpy(a + 2, a + 1, 8); // warn
}